State diagram

Results: 305



#Item
81Computing / ISO standards / UML diagrams / Knowledge representation / Profile / State diagram / Class / Object-oriented programming / ECO / Software engineering / Unified Modeling Language / Diagrams

Klasse Objecten Unification of Static and Dynamic Semantics of UML A Study in redefining the Semantics of the UML using the pUML OO Meta Modelling Approach Anneke Kleppe and Jos Warmer

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2003-02-04 09:56:26
82Infographics / Information science / Communication design / Data modeling / Automata theory / State diagram / Unified Modeling Language / Finite-state machine / ECO / UML diagrams / Models of computation / Diagrams

A. Evans Dept. of Computing, University of York [removed] Rigorous Development in UML

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2003-02-04 09:56:28
83Infographics / Data modeling / Information science / Knowledge representation / Unified Modeling Language / State diagram / Class diagram / ECO / Object Constraint Language / UML diagrams / Diagrams / Software engineering

Visualising Action Contracts in Object-Oriented Modelling Stuart Kent Joseph (Yossi) Gil Division of Computing,

Add to Reading List

Source URL: www.cs.york.ac.uk

Language: English - Date: 2003-02-04 09:56:28
84Cross-platform software / Models of computation / UML diagrams / Object-oriented programming / Graph drawing / State diagram / C++ / JavaScript / Class / Software engineering / Computing / Computer programming

© Copyright by Paul Jay Lucas, 1993 Software: © Copyright by AT&T, 1993 AN OBJECT-ORIENTED LANGUAGE SYSTEM FOR IMPLEMENTING CONCURRENT, HIERARCHICAL, FINITE STATE MACHINES

Add to Reading List

Source URL: www.pauljlucas.org

Language: English - Date: 2012-08-29 10:26:48
85Automata theory / Diagrams / Theoretical computer science / Digital electronics / State diagram / Computer science / Finite-state machine / Transition / GUI widget / Models of computation / Computing / UML diagrams

Statechart selection c state-creation

Add to Reading List

Source URL: www.pauljlucas.org

Language: English - Date: 2012-08-29 10:26:44
86State diagram / Error / Communication design / Science / Information science / Diagrams / Graph drawing / Infographics

25 CP[removed]Correct errors in State Diagram of Hosted Applications 1

Add to Reading List

Source URL: medical.nema.org

Language: English - Date: 2015-01-28 09:58:54
87Model theory / Automata theory / Model checking / Models of computation / Binary decision diagram / Boolean algebra / First-order logic / Finite-state machine / CPU cache / Mathematical logic / Logic / Mathematics

International Journal of Foundations of Computer Science c World Scientific Publishing Company MONA Implementation Secrets Anders Møller & Michael I. Schwartzbach

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2002-06-14 03:07:43
88Boolean algebra / Model checking / Mathematics / Formal methods / Binary decision diagram / Models of computation / Finite-state machine / Tree automaton / Computability / Automata theory / Theoretical computer science / Diagrams

Mona & Fido: The Logic-Automaton Connection in Practice Nils Klarlund AT&T Labs{Research Florham Park, NJ

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-03-08 16:49:34
89Formal languages / Predicate logic / Boolean algebra / Automata theory / Propositional variable / Binary decision diagram / FO / Finite-state machine / Well-formed formula / Logic / Mathematics / Mathematical logic

, , 1?? () c Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. Automata Based Symbolic Reasoning in Hardware Veri cation * DAVID BASIN

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-03-08 16:47:13
90Design / Science / Infographics / Unified Modeling Language / Knowledge representation / Activity diagram / State diagram / Object diagram / Modeling language / UML diagrams / Diagrams / Data modeling

UML Notation Guide version[removed]September 1997 Rational Software ■ Microsoft ■ Hewlett-Packard ■ Oracle Sterling Software ■ MCI Systemhouse ■ Unisys ■ ICON Computing IntelliCorp ■ i-Logix ■ IBM ■ Objec

Add to Reading List

Source URL: www.cse.wustl.edu

Language: English - Date: 2007-01-04 10:08:19
UPDATE